REF, NoConds
(a THEN b) == ((a) THEN (b)) 

latex

---

clarification:

REF, NoConds
(a THEN b) == ((a) THEN (b)) 

latex

Up	Tactics as terms
FDL editor aliases	-th